Axiomatic Description of Mixed States From Selinger's CPM-construction
نویسنده
چکیده
We recast Selinger’s CPM-construction of completely positive maps [11] as an axiomatization of maximally mixed states. This axiomatization also guarantees categories of completely positive maps to satisfy the preparation-state agreement axiom of [3], and admits a physical interpretation in terms of purification of mixed states and CPMs. Internal traces, which are crucial in quantum information theory, are the adjoints to these maximally mixed states.
منابع مشابه
A Graph Theoretic Perspective on CPM(Rel)
Mixed states are of interest in quantum mechanics for modelling partial information. More recently categorical approaches to linguistics have also exploited the idea of mixed states to describe ambiguity and hyponym / hypernym relationships. In both these application areas the category Rel of sets and binary relations is often used as an alternative model. Selinger’s CPM construction provides t...
متن کاملIf Cpm Is so Bad, Why Have We Been Using It so Long?
Why has the Critical Path Method (CPM) been used so widely for so long given its inability to produce predictable outcomes? For shedding light on this paradox, the formative period of the CPM is analysed from two main angles. First, how was the CPM embedded into the construction management practice? Second, what was the methodological underpinning of the development of the CPM? These questions ...
متن کاملDagger Compact Closed Categories and Completely Positive Maps: (Extended Abstract)
Dagger compact closed categories were recently introduced by Abramsky and Coecke, under the name “strongly compact closed categories”, as an axiomatic framework for quantum mechanics. We present a graphical language for dagger compact closed categories, and sketch a proof of its completeness for equational reasoning. We give a general construction, the CPM construction, which associates to each...
متن کاملIdempotents in Dagger Categories: (Extended Abstract)
Dagger compact closed categories were studied by Abramsky and Coecke (under the name “strongly compact closed categories”) as an abstract presentation of the category of Hilbert spaces and linear maps, and as a framework in which to carry out the interpretation of quantum protocols. I subsequently showed that dagger compact closed categories can also describe mixed quantum computation, where th...
متن کاملAn Axiomatic Theory of StateCharts
Executive Summary Statecharts provide for the detailed graphical description of real-time computing systems. Extended Real Time Logic (ERTL) provides for the axiomatic description of real-time computing systems. The StateMate tool provides powerful facilities for the construction and validation of Statecharts, using a conceptually simple graphical user interface. In this paper we develop a mapp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 210 شماره
صفحات -
تاریخ انتشار 2008